Languages of Sweden - PDFSEARCH.IO - Document Search Engine

Languages of Sweden
Results: 128

#	Item
51	MULTIMODALITY IN A THREE‐DIMENSIONAL VOICE CHAT Therese Örnberg Berglund The Department of Modern Languages and HUMlab Umeå University, Sweden Add to Reading List Source URL: www.multitalking.se Language: English - Date: 2008-10-04 11:45:06 Human–computer interaction User interface techniques Social presence theory Mind Multimodal interaction Mode Nonverbal communication Computer-mediated communication Telepresence Virtual reality Media technology Communication
52	Robotics, Temporal Logic and Stream Reasoning Patrick Doherty1∗, Fredrik Heintz1 and Jonas Kvarnström1 Linköping University, Department of Computer and Information Sciences, S[removed]Linköping, Sweden patrick.dohert Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2015-01-26 06:34:59 Model theory Metalogic Philosophical logic Linear temporal logic First-order logic Temporal logic Interpretation Well-formed formula Modal logic Logic Formal languages Logical syntax
53	Towards a Logical Analysis of Biochemical Pathways Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas Department of Computer and Information Science, SE[removed]Link¨oping, Sweden, email: {patdo,g-steke, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:40:19 Model theory Formal languages First-order logic Predicate logic Constructible universe Chemical reaction Well-formed formula Function Logic Mathematical logic Mathematics
54	An Experimental Platform for Approximate Databases Martin Magnusson, Patrick Doherty, Andrzej Szalas Department of Computer and Information Science SE[removed]Link¨oping, Sweden email: {marma,patdo,andsz}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:39:54 Data Relational database management systems Computer languages Data modeling SQL Relational database Table Database Query language Data management Database theory Computing
55	A Software Architecture for A.I. Systems Based on Self-Modifying Software Individuals Erik Sandewall Department of Computer and Information Science Linkoping University[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:31:23 Lisp programming language Functional languages Common Lisp Cross-platform software Scripting languages Lisp Programming language Interpreter S-expression Computing Software engineering Computer programming
56	Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner Jonas Kvarnstr¨om Dept. of Computer and Information Science, Link¨oping University, SE[removed]Sweden [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:22 Mathematical logic Μ operator Well-formed formula Function Mathematical optimization Mathematics Logic Formal languages
57	Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas Patrick Doherty Dept. of Computer Science Link¨oping University S[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:08:21 Propositional calculus Model theory Boolean algebra Formal languages Predicate logic Propositional variable First-order logic Interpretation Propositional formula Logic Mathematical logic Mathematics
58	On Mutual Understanding among Communicating Agents⋆ Patrick Doherty1, Witold Łukaszewicz1,2 , and Andrzej Szałas1,2 1 Department of Computer Science, University of Link¨oping, Sweden, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:52:30 Model theory Formal languages First-order logic Predicate logic Function Constructible universe Ontology Characteristic function Golden ratio Logic Mathematics Mathematical logic
59	Computing Circumscription Revisited: Preliminary Report Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:09:50 Predicate logic Model theory Quantification Formal languages Circumscription Skolem normal form Atomic formula Function Universal quantification Logic Mathematical logic Mathematics
60	REPORTS OFTHE DMSIONS Place Names 0 The Memorv of Places The theme of the European Heritage Days in Finland 1999 Pteparid 6y ti. Sirkka PaikkaIa, Research Institute for the Languages of Finland, Helsinki. Cl The picture Add to Reading List Source URL: unstats.un.org Language: English - Date: 2010-12-16 10:20:26 Scandinavia Languages of Finland Languages of Sweden Helsinki Finland Turku Swedish language Aalto University Geography of Europe Europe European Capitals of Culture